Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
641	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO
642	Specifying and Verifying   Concurrent  Algorithms with   Histories and Subjectivity memoria software v3.qxd Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-04-16 09:10:05 Algebra Mathematics Abstract algebra Semigroup theory Algebraic structures Mathematical logic Category theory Monoid Algorithm Concurrent algorithm
643	Abstract Path Planning for Multiple Robots: An Empirical Study Pavel Surynek Charles University in Prague Faculty of Mathematics and Physics Department of Theoretical Computer Science and Mathematical Logic Malostranské Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
644	Relational decomposition Lennart Beringer ?? Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-05-25 12:08:33 Model theory Mathematical logic Interpretation Philosophy of mind Semantics Relational algebra Structure operator Substitution
645	On the Complexity of Abstract Categorial Grammars In this abstract we investigate the respective complexities of the membership and the universal membership problems for Abstract Categorial Grammars [dG01]. This problem Add to Reading List Source URL: wwwhomes.uni-bielefeld.de Language: English - Date: 2009-05-22 03:48:32 Logic in computer science Theoretical computer science Mathematics Constructible universe Mathematical logic CurryHoward correspondence Table of stars with Bayer designations Generalised Whitehead product
646	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-01-04 15:33:28 Theoretical computer science Logic in computer science Logic Mathematical logic Edsger W. Dijkstra Formal methods Separation logic Substructural logic Concurrent computing Modal logic Semantics Parallel computing
647	UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-15 09:19:07 Automated theorem proving IsaPlanner Rippling Mathematical proof Theorem KeY Proof assistant Direct proof Mathematical logic Mathematical induction
648	A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-01 07:28:34 Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof
649	Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-07 11:07:10 Theoretical computer science Formal methods Mathematical logic Computability theory Type theory Algorithm Lambda calculus Combinatory logic Set theory Gottlob Frege Ernst Zermelo

UPDATE